package Store;

import DataView.Action;
import DataView.CondReactInfo;
import DataView.Expr;

public class CondReact extends Element {
	private CondReactInfo info;
	private Expr condUsed=null;
	private Expr condRest=null;
	private Action reactUsed=null;
	private Action reactRest=null;
	
	public void mkElement(CondReactInfo aNewCR) 
	{
		super.mkElement(aNewCR);
		info=aNewCR;
	}
	
	public void setCondReact(Expr cond, Action react) 
	{
		CondReactInfo i = new CondReactInfo();
		i.setInfo(cond, react);
		mkElement(i);
	}
	public Expr getCond() 
	{
		return info.getCond();
	}
	public void setSplit(Expr condU, Expr condR, Action reacU, Action reacR) 
	{
		condUsed=condU;
		condRest=condR;
		reactUsed=reacU;
		reactRest=reacR;
	}
	public Expr getCondUsed() 
	{
		return condUsed;
	}
	public Expr getCondRest() 
	{
		return condRest;
	}
	public Action getReact() 
	{
		return info.getReact();
	}
	public Action getReactUsed() {
		return reactUsed;
	}
	public Action getReactRest() {
		return reactRest;
	}
}